System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
561	Current Versions of the TLA+ Tools Leslie Lamport 24 March 2013 This document describes differences between the descriptions of the TLA+ tools in the book Specifying Concurrent Systems and the currently released versions Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-03-24 13:41:03 Procedural programming languages TLC Tables Ladders and Chairs match Eval Fixed-point combinator Type system ALGOL 68 Computing Software engineering Programming language theory
562	Terms of Service SiteButler is designed to be an efficient, reliable, and cost-effective way have the peace of mind that your website is safe and up to date, without having to become a system administrator For $35 per mo Add to Reading List Source URL: sitebutler.adatosystems.com Language: English - Date: 2014-08-21 19:13:40 WordPress Backup Software Blog software PHP programming language
563	Robust Object Oriented System Analysis Dr Jie Zhao, Dunstan Thomas Consulting Summary Uses cases are widely accepted as the best approach to capturing system requirements, in particular, functional requirements. However, Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:35 Computing Software design UML diagrams Diagrams Knowledge representation Unified Modeling Language Class diagram Object-oriented design Object-oriented analysis and design Software engineering Software development Object-oriented programming
564	The Design of the Inferno Virtual Machine Phil Winterbottom Rob Pike Bell Labs, Lucent Technologies {philw, rob}@plan9.bell-labs.com Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 22:48:09 Virtual machines Cross-platform software Programming language implementation Central processing unit Compiler construction Stack machine Java virtual machine Dis virtual machine Inferno Computing Software System software
565	Work In Progress: an Empirical Study of Static Typing in Ruby Mark T. Daly Vibha Sazawal Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-08-03 17:46:51 Type theory Type system Ruby Programming language Strong typing Variable Type safety Object-oriented programming Dynamic programming language Software engineering Computing Programming language theory
566	Training Matters News - Issue #89 Add to Reading List Source URL: www.training.nsw.gov.au Language: English - Date: 2013-03-28 00:19:56 Software engineering Computer programming National Training System TAFE APL Registered training organisation Vocational education Australian Qualifications Framework Education in Australia APL programming language family Computing
567	The nesC Language: A Holistic Approach to Networked Embedded Systems http://nescc.sourceforge.net David Gay‡ [removed] Add to Reading List Source URL: webs.cs.berkeley.edu Language: English - Date: 2003-05-12 16:53:16 Technology Object-oriented programming TinyOS NesC Component-based software engineering Embedded system Kernel Communications protocol Concurrency control Computing Software engineering Wireless sensor network
568	The Development of the C Language Dennis M. Ritchie Bell Labs/Lucent Technologies Murray Hill, NJ[removed]USA [removed] Add to Reading List Source URL: www.dvara.net Language: English - Date: 2004-03-15 18:39:37 Procedural programming languages BCPL B C ALGOL 68 System programming language Pointer ALGOL PL/I Computing Software engineering Computer programming
569	Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version) Add to Reading List Source URL: liu.diva-portal.org Language: English - Date: 2010-07-16 02:44:55 Computing Data types Type theory Procedural programming languages Polyspace Abstract interpretation Static program analysis Type system Aliasing Program analysis Software engineering Programming language theory
570	Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-12-12 14:02:10 Mathematics Logic in computer science Maude system Computability theory Abstraction Rewriting Predicate Philosophy Normal form Theoretical computer science Formal languages Programming language theory

UPDATE